InstantiatedRecordModuleNoCopattern.agda:24,1-16
Cannot eliminate type  R  with projection  out
when checking that the clause out wrong = Set has type R
